4

One-step recurrent terms in λ-β-calculus

Year:
1988
Language:
english
File:
PDF, 902 KB
english, 1988